|
In mathematics, Puiseux series are a generalization of power series, first introduced by Isaac Newton in 1676 and rediscovered by Victor Puiseux in 1850,〔Puiseux (1850, 1851)〕 that allows for negative and fractional exponents of the indeterminate ''T''. A Puiseux series in the indeterminate ''T'' is a Laurent series in ''T''1/''n'', where ''n'' is a positive integer. A Puiseux series may be written as: : where is an integer and is a positive integer. Puiseux's theorem, sometimes also called Newton–Puiseux theorem, asserts that, given a polynomial equation , its solutions in , viewed as functions of , may be expanded as Puiseux series that are convergent in some neighbourhood of the origin (0 excluded, in the case of a solution that tends to infinity at the origin). In other words, every branch of an algebraic curve may be locally (in terms of ) described by a Puiseux series. The set of Puiseux series over an algebraically closed field of characteristic 0 is itself an algebraically closed field, called the field of Puiseux series. It is the algebraic closure of the field of Laurent series. This statement is also referred to as Puiseux's theorem, being an expression of the original Puiseux theorem in modern abstract language. == Field of Puiseux series == If ''K'' is a field then we can define the field of Puiseux series with coefficients in ''K'' (or ''over'' ''K'') informally as the set of formal expressions of the form : where ''n'' and are a nonzero natural number and an integer respectively (which are part of the datum of ''f''): in other words, Puiseux series differ from formal Laurent series in that they allow for fractional exponents of the indeterminate as long as these fractional exponents have bounded denominator (here ''n''), and just as Laurent series, Puiseux series allow for negative exponents of the indeterminate as long as these negative exponents are bounded (here by ). Addition and multiplication are as expected: one might define them by first “upgrading” the denominator of the exponents to some common denominator and then performing the operation in the corresponding field of formal Laurent series. In other words, the field of Puiseux series with coefficients in ''K'' is the union of the fields (where ''n'' ranges over the nonzero natural numbers), where each element of the union is a field of formal Laurent series over (considered as an indeterminate), and where each such field is considered as a subfield of the ones with larger ''n'' by rewriting the fractional exponents to use a larger denominator (e.g., is identified with as expected). This yields a formal definition of the field of Puiseux series: it is the direct limit of the direct system, indexed over the non-zero natural numbers ''n'' ordered by divisibility, whose objects are all (the field of formal Laurent series, which we rewrite as : for clarity), with a morphism : being given, whenever ''m'' divides ''n'', by . 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Puiseux series」の詳細全文を読む スポンサード リンク
|